Computational Dynamical Systems: Nite Approaches to the Innnite
نویسنده
چکیده
The study of dynamical systems is usually thought of as the study of some natural process from which the system has been derived. In this proposal we discuss the the eeects of niteness upon this assumed analysis. I look at three broad areas of investigation that have a real impact on the utility of modeling eeorts. I highlight questions that I intend to explore in the proposed dissertation
منابع مشابه
On the Implications of the Solvability of the Supervisory Control Problem for Certain In nite-State Discrete Event Dynamic systems
We show that certain forbidden-state, and forbidden-string 6, 5, 11] supervisory control problems involving innnite-state systems has a solution if and only if a corresponding problem for every nite-state subsystem of the original innnite-state system has a solution. Using this observation we argue the existence of a solution procedure for certain innnite-state systems (cf. 10, 8, 9]) implies i...
متن کاملRadiation Induced Instability in Interconnected Systems
In this paper we discuss the stability and instability properties of two classes of conservative dynamical systems which have two interconnected components: a nite-dimensional and an innnite-dimensional subsystem. The nite-dimensional component is a linear mechanical system with gyroscopic terms and it is coupled to a wave equation deened on an innnite spatial domain via two diierent types of c...
متن کاملOpen Dimensional Dynamical Systems
The theme of this issue of Artiicial Life is that traditional Dynamical Systems theory is inadequate for many problems in the study of Complex Systems. In this paper, I argue that the nite dimensional nature of traditional dynamical systems is inappropriate for evolutionary systems, but that simply embedding the dynamics into an innnite dimensional space overly complicates the mathematics and o...
متن کاملAutomata - Theoretic Approach to Planning forTemporally Extended
We study an automata-theoretic approach to planning for temporally extended goals. Speciically, we devise techniques based on nonemptiness of B uchi automata on innnite words, to synthesize sequential and conditional plans in a generalized setting in which we have that: goals are general temporal properties of desired execution; dynamic systems are represented by nite transition systems; incomp...
متن کاملOn the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming
In our previous work Go&al 91] we used a restricted kind of applicative rewriting systems as computational model for higher-order (HO) lazy functional programming, and we proved soundness and completeness of innnite rewriting w.r.t. a declarative semantics, in the spirit of logic programming. The aim of this paper is to present similar results for functional logic programming. We model HO funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007